Schémas et programmes narratifs : de Greimas à Fontanille

analyse structurale de deux contes de perrault selon les schémas de propp, larivaille et greimas

la morphologie, c’est l’étude des formes ou bien la mise en place des éléments constitutifs du conte. le travail de vladimir propp consiste à étudier non pas le contenu des contes folkloriques mais le contenant, c’est-à-dire la forme extérieure des contes et leur structure globale. ainsi, l’analyse de le petit poucet et de le chat botté fait appel à une logique fictionnelle propre au merveilleu...

Méthodologie de Matching à large Echelle de schémas XML

RÉSUMÉ. Le matching, est une opération importante pour les processus assurant l’interopérabilité de systèmes d’information notamment pour des applications telles que l'échange, l'intégration et la transformation de données. Toutefois, la problématique du matching se pose avec acuité lorsque le nombre et le volume des schémas de données est important. C’est notamment le cas pour les applications...

Modélisation d'épisodes de conception d'observatoires à partir de corpus narratifs

Dans le cadre d’un projet de recherche sur la conception d’observatoires de pratiques agricoles, nous nous intéressons au recueil et à la formalisation des expériences passées, sur la base desquelles nous voulons bâtir un système d’aide à la conception de tels observatoires. Nous disposons pour cela de corpus d’entretiens où des responsables d’observatoires relatent leur expérience. Dans ces na...

Systèmes de Déduction pour les Arbres et les Schémas de Programmes

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...